Software flow control - PDFSEARCH.IO - Document Search Engine

Software flow control
Results: 1051

#	Item
211	PDF Document Add to Reading List Source URL: trad.applescript.free.fr Language: English - Date: 2004-02-02 16:04:29 Scripting languages AppleScript JavaScript Subroutine Objective-C Control flow Statement Forth Software engineering Computing Computer programming
212	PDF Document Add to Reading List Source URL: www.usenix.org Language: English - Date: 2015-05-27 07:07:49 Control flow Inter-process communication Data synchronization Application checkpointing Actor model Message passing Database Exception handling Event loop Computing Software engineering Fault-tolerant computer systems
213	PDF Document Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2012-04-19 08:30:02 Subroutines Compiler optimizations Procedural programming languages Control flow Foreach loop Inline expansion Closure ALGOL 68 Software engineering Computing Computer programming
214	PDF Document Add to Reading List Source URL: galois.com Language: English - Date: 2014-07-17 17:29:47 Automated theorem proving Concolic testing Logic in computer science Java Pathfinder Symbolic execution Interprocedural optimization Control flow KeY Software bug Software engineering Formal methods Computing
215	PDF Document Add to Reading List Source URL: www.erlang-factory.com Language: English - Date: 2011-09-19 06:17:30 Ericsson Erlang Control flow Hooking C Computing Software engineering Computer programming
216	PDF Document Add to Reading List Source URL: www.blackhat.com Language: English - Date: 2015-05-28 15:51:40 Subroutines Control flow Inline expansion Setjmp.h Call graph System call Pin Call stack Goto Software engineering Computer programming Computing
217	PDF Document Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2011-11-25 05:09:22 Compiler optimizations Control flow Exception handling Subroutines Inline expansion Basic block Interrupt flag Software engineering Computing Computer programming
218	PDF Document Add to Reading List Source URL: engineering.purdue.edu Language: English - Date: 2015-04-09 15:21:32 Computer security Port scanner Nmap Nessus Transmission Control Protocol Open port Firewall Traffic flow Netcat Software Computing Computer network security
219	Verifying Eiffel Programs with Boogie Julian Tschannen, Carlo A. Furia, Martin Nordio, and Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland {firstname.lastname}@inf.ethz.ch Abstract. Static program Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2011-06-23 07:40:14 Logic in computer science Control flow Object-oriented programming Program logic Procedural programming languages Postcondition Exception handling Eiffel Precondition Software engineering Computing Computer programming
220	Where is the Debugger for my Software-Defined Network? Nikhil Handigol† , Brandon Heller† , Vimalkumar Jeyakumar† , David Mazières, and Nick McKeown Stanford University Stanford, CA, USA Add to Reading List Source URL: www.scs.stanford.edu Language: English - Date: 2012-06-28 17:22:23 Forwarding plane Computer architecture Traffic flow Transmission Control Protocol IP traceback Netflow Wireless networking Computing Network architecture OpenFlow

UPDATE